home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Atari Mega Archive 1
/
Atari Mega Archive - Volume 1.iso
/
lists
/
mint
/
l_0399
/
140
< prev
next >
Wrap
Internet Message Format
|
1994-08-27
|
732b
Date: Mon, 15 Mar 93 09:40:53 +0100
From: tbr1101@sun10.lrz-muenchen.de
Message-Id: <9303150840.AA00608@sun10.lrz-muenchen.de>
To: mint@terminator.rs.itd.umich.edu
I think there are two bugs in Mintlib Pl30:
1) printf reports -0.0, that means 0x80000000 as NaN
2) divdf3 reports e.g. 0.0/2.4 as -0.0 (again 0x80000000 instead of 0x00000000)
Try this listing on an ST without Coprozessor:
#include <stdio.h>
tt(double a)
{
double b,c,d;
b = -a;
c = a / 2.4;
d = b / 2.4;
printf("%f %f %f %f\n",a,b,c,d);
}
main()
{
tt(0.0);
}
Robert (rwilhelm@physik.tu-muenchen.de)
BTW: GCC 2.3.3Pl1 uses for 0.0 and -0.0 always 0x00000000.
Bug or feature ?